非可換 Chabauty–Kim 法